require linux-xenomai.inc
LIC_FILES_CHKSUM = "file://COPYING;md5=6bc538ed5bd9a7fc9398086aedcd7e46"
KERNEL_BRANCH ?= "master"
SRCREV = "5165d968e0f947d8d97f67cf7d4323230f523a3a"
